type T() =
    use{caret} x = ()

    do ()
